#define _GNU_SOURCE
#include <unistd.h>
int main(int argc, char **argv) {
        if(argc == 2) {
                char *cmd[] = { "true", argv[1], (char*)0};
                return execv("/bin/true", cmd);
        }
	char *cmd[] = { "true", argv[0], (char*)0};
	return execv("/bin/true", cmd);
}
